首页> 外文OA文献 >Offline specialisation in Prolog using a hand-written compiler generator

【2h】

Offline specialisation in Prolog using a hand-written compiler generator

机译：使用手写编译器生成器在Prolog中进行离线专业化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Michael Leuschel; Jesper Jørgensen;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Offline specialisation in Prolog using a hand-written compiler generator [J] . MICHAEL LEUSCHEL, JESPER JORGENSEN, WIM VANHOOF, Theory and Practice of Logic Programming . 2004,第JanaMar期

机译：使用手写编译器生成器在Prolog中进行离线专业化
2. Offline hand-written character recognition by using multinomial logit model [J] . Osmau Hasegawa, Takio Kurita 電子情報通信学会技術研究報告. パターン認識·メディア理解. Pattern Recognition and Media Understanding . 2001,第713期

机译：基于多项式logit模型的离线手写字符识别
3. Offline hand-written character recognition by using multinomial logit model [J] . Osmau Hasegawa, Takio Kurita 電子情報通信学会技術研究報告. パターン認識·メディア理解. Pattern Recognition and Media Understanding . 2001,第713期

机译：使用多项式Logit模型离线手写字符识别
4. Self-tuning resource aware specialisation for prolog [C] . Stephen-John Craig, Michael Leuschel ACM SIGPLAN international conference on Principles and practice of declarative programming . 2005

机译：自我调整资源意识的Prolog专业化
5. Compiling Prolog to Logic-inference Virtual Machine. [D] . Wang, Yifei (Fred). 1999

机译：将Prolog编译为逻辑推理虚拟机。
6. A CellML simulation compiler and code generator using ODE solving schemes [O] . Florencio Rusty Punzalan, Yoshiharu Yamashita, Naoki Soejima, 2012

机译：使用ODE解决方案的CellML仿真编译器和代码生成器
7. Offline specialisation in Prolog using a hand-written compiler generator [O] . Leuschel Michael, Jørgensen Jesper, Vanhoof Wim, 2004

机译：使用手写编译器生成器在Prolog中进行离线专业化
8. Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. [R] . Stickel, M. E. 1987

机译：prolog技术定理证明：由扩展的prolog编译器实现。

Offline specialisation in Prolog using a hand-written compiler generator

著录项

引文网络

相似文献

相关主题

期刊订阅